prenex normal form - Spanisch Englisch Wörterbuch